Michael Kishinevsky : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (49)
Les plus populaires
Liste
- Liste
- Tableau

1

[IEEE 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - San Francisco, CA, USA (2018.6.24-2018.6.28)] 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - STAFF: Online Learning with Stabilized Adaptive Forgetting Factor and Feature Selection Algorithm

Gupta, Ujjwal, Babu, Manoj, Ayoub, Raid, Kishinevsky, Michael, Paterna, Francesco, Ogras, Umit Y.

Année:

2018

Langue:

english

Fichier:

PDF, 3.29 MB

english, 2018

2

[ACM Press the 50th Annual Design Automation Conference - Austin, Texas (2013.05.29-2013.06.07)] Proceedings of the 50th Annual Design Automation Conference on - DAC '13 - Dynamic voltage and frequency scaling for shared resources in multicore processor designs

Chen, Xi, Xu, Zheng, Kim, Hyungjun, Gratz, Paul V., Hu, Jiang, Kishinevsky, Michael, Ogras, Umit, Ayoub, Raid

Année:

2013

Langue:

english

Fichier:

PDF, 898 KB

english, 2013

3

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Genet: A Tool for the Synthesis and Mining of Petri Nets

Carmona, Josep, Cortadella, Jordi, Kishinevsky, Michael

Année:

2009

Langue:

english

Fichier:

PDF, 371 KB

english, 2009

4

On the models for asynchronous circuit behaviour with OR causality

Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny

Journal:

Formal Methods in System Design

Année:

1996

Langue:

english

Fichier:

PDF, 2.40 MB

english, 1996

5

On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics

Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky

Journal:

Discrete Event Dynamic Systems

Année:

2010

Langue:

english

Fichier:

PDF, 648 KB

english, 2010

6

Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings

Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten

Journal:

Formal Methods in System Design

Année:

1998

Langue:

english

Fichier:

PDF, 526 KB

english, 1998

7

Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics

Satrajit Chatterjee, Michael Kishinevsky

Journal:

Formal Methods in System Design

Année:

2012

Langue:

english

Fichier:

PDF, 753 KB

english, 2012

8

[ACM Press the International Workshop - San Francisco, California (2012.06.03-2012.06.03)] Proceedings of the International Workshop on System Level Interconnect Prediction - SLIP '12 - Energy-guided exploration of on-chip network design for exa-scale computing

Ogras, Umit Y., Emre, Yunus, Xu, Jianping, Kam, Timothy, Kishinevsky, Michael

Année:

2012

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2012

9

[IEEE 2012 Sixth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Lyngby, Denmark (2012.05.9-2012.05.11)] 2012 IEEE/ACM Sixth International Symposium on Networks-on-Chip - In-network Monitoring and Control Policy for DVFS of CMP Networks-on-Chip and Last Level Caches

Chen, Xi, Xu, Zheng, Kim, Hyungjun, Gratz, Paul, Hu, Jiang, Kishinevsky, Michael, Ogras, Umit

Année:

2012

Langue:

english

Fichier:

PDF, 415 KB

english, 2012

10

[IEEE 2006 IEEE/ACM International Conference on Computer Aided Design - Double Tree Hotel, San Jose, CA,USA (2006.11.5-2006.11.9)] 2006 IEEE/ACM International Conference on Computer Aided Design - Performance analysis of concurrent systems with early evaluation

Julvez, Jorge, Cortadella, Jordi, Kishinevsky, Michael

Année:

2006

Langue:

english

Fichier:

PDF, 9.65 MB

english, 2006

11

[IEEE 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) - Anaheim, CA, USA (2008.06.5-2008.06.7)] 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design - A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study

Haynal, Steve, Kam, Timothy, Kishinevsky, Michael, Shriver, Emily, Wang, Xinning

Année:

2008

Langue:

english

Fichier:

PDF, 682 KB

english, 2008

12

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Scheduling Synchronous Elastic Designs

Carmona, Josep, Julvez, Jorge, Cortadella, Jordi, Kishinevsky, Michael

Année:

2009

Langue:

english

Fichier:

PDF, 305 KB

english, 2009

13

xMAS: Quick Formal Modeling of Communication Fabrics to Enable Verification

Chatterjee, Satrajit, Kishinevsky, Michael, Ogras, Umit Y.

Journal:

IEEE Design & Test of Computers

Année:

2012

Langue:

english

Fichier:

PDF, 503 KB

english, 2012

14

[IEEE 2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012) - Arlington, VA, USA (2012.07.16-2012.07.17)] Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) - Compositional performance verification of NoC designs

Holcomb, Daniel E., Gotmanov, Alexander, Kishinevsky, Michael, Seshia, Sanjit A.

Année:

2012

Langue:

english

Fichier:

PDF, 1.56 MB

english, 2012

15

In-network monitoring and control policy for DVFS of CMP networks-on-chip and last level caches

Chen, Xi, Xu, Zheng, Kim, Hyungjun, Gratz, Paul, Hu, Jiang, Kishinevsky, Michael, Ogras, Umit

Journal:

ACM Transactions on Design Automation of Electronic Systems

Année:

2013

Langue:

english

Fichier:

PDF, 1.61 MB

english, 2013

16

[IEEE 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2013.11.18-2013.11.21)] 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Managing mobile platform power

Ogras, Umit Y., Ayoub, Raid Z., Kishinevsky, Michael, Kadjo, David

Année:

2013

Langue:

english

Fichier:

PDF, 707 KB

english, 2013

17

[IEEE 2011 International Workshop on System Level Interconnect Prediction (SLIP) - San Diego, CA, USA (2011.06.5-2011.06.5)] International Workshop on System Level Interconnect Prediction - System interconnect design exploration for embedded MPSoCs

Chou, Chen-Ling, Marculescu, Radu, Ogras, Umit, Chatterjee, Satrajit, Kishinevsky, Michael, Loukianov, Dmitrii

Année:

2011

Langue:

english

Fichier:

PDF, 430 KB

english, 2011

18

[IEEE 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Anaheim, FL, USA (2010.06.10-2010.06.12)] 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Quick formal modeling of communication fabrics to enable verification

Chatterjee, Satrajit, Kishinevsky, Michael, Ogras, Umit Y.

Année:

2010

Langue:

english

Fichier:

PDF, 525 KB

english, 2010

19

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - Correct-by-construction microarchitectural pipelining

Kam, Timothy, Kishinevsky, Michael, Cortadella, Jordi, Galceran-Oms, Marc

Année:

2008

Langue:

english

Fichier:

PDF, 624 KB

english, 2008

20

[ACM Press the 52nd Annual Design Automation Conference - San Francisco, California (2015.06.07-2015.06.11)] Proceedings of the 52nd Annual Design Automation Conference on - DAC '15 - A control-theoretic approach for energy efficient CPU-GPU subsystem in mobile platforms

Kadjo, David, Ayoub, Raid, Kishinevsky, Michael, Gratz, Paul V.

Année:

2015

Langue:

english

Fichier:

PDF, 544 KB

english, 2015

21

[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - CAD directions for high performance asynchronous circuits

Stevens, Ken, Rotem, Shai, Burns, Steven M., Cortadella, Jordi, Ginosar, Ran, Kishinevsky, Michael, Roncken, Marly

Année:

1999

Langue:

english

Fichier:

PDF, 121 KB

english, 1999

22

[ACM Press the 39th conference - New Orleans, Louisiana, USA (2002.06.10-2002.06.14)] Proceedings of the 39th conference on Design automation - DAC '02 - Coordinated transformations for high-level synthesis of high performance microprocessor blocks

Gupta, Sumit, Savoiu, Nick, Dutt, Nikil, Gupta, Rajesh, Nicolau, Alex, Kam, Timothy, Kishinevsky, Michael, Rotem, Shai

Année:

2002

Langue:

english

Fichier:

PDF, 141 KB

english, 2002

23

[ACM Press the 2006 IEEE/ACM international conference - San Jose, California (2006.11.05-2006.11.09)] Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design - ICCAD '06 - Performance analysis of concurrent systems with early evaluation

Júlvez, Jorge, Cortadella, Jordi, Kishinevsky, Michael

Année:

2006

Langue:

english

Fichier:

PDF, 220 KB

english, 2006

24

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - Performance analysis based on timing simulation

Nielsen, Christian D., Kishinevsky, Michael

Année:

1994

Langue:

english

Fichier:

PDF, 165 KB

english, 1994

25

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - Basic gate implementation of speed-independent circuits

Kondratyev, Alex, Kishinevsky, Michael, Lin, Bill, Vanbekbergen, Peter, Yakovlev, Alex

Année:

1994

Langue:

english

Fichier:

PDF, 125 KB

english, 1994

26

[ACM Press the 2014 International Conference - New Delhi, India (2014.10.12-2014.10.17)] Proceedings of the 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems - CASES '14 - CAPED

Schuchhardt, Matthew, Jha, Susmit, Ayoub, Raid, Kishinevsky, Michael, Memik, Gokhan

Année:

2014

Langue:

english

Fichier:

PDF, 483 KB

english, 2014

27

[ACM Press the 35th annual conference - San Francisco, California, United States (1998.06.15-1998.06.19)] Proceedings of the 35th annual conference on Design automation conference - DAC '98 - Asynchronous interface specification, analysis and synthesis

Kishinevsky, Michael, Cortadella, Jordi, Kondratyev, Alex

Année:

1998

Langue:

english

Fichier:

PDF, 266 KB

english, 1998

28

[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - Automatic synthesis and optimization of partially specified asynchronous systems

Kondratyev, Alex, Cortadella, Jordi, Kishinevsky, Michael, Lavagno, Luciano, Yakovlev, Alexander

Année:

1999

Langue:

english

Fichier:

PDF, 180 KB

english, 1999

29

[ACM Press the 1998 IEEE/ACM international conference - San Jose, California, United States (1998.11.08-1998.11.12)] Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design - ICCAD '98 - Lazy transition systems

Cortadella, Jordi, Kishinevsky, Michael, Kondratyev, Alex, Lavagno, Luciano, Taubin, Alexander, Yakovlev, Alex

Année:

1998

Langue:

english

Fichier:

PDF, 988 KB

english, 1998

30

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - Methodology and tools for state encoding in asynchronous circuit synthesis

Cortadella, Jordi, Kishinevsky, Michael, Kondratyev, Alex, Lavagno, Luciano, Yakovlev, Alex

Année:

1996

Langue:

english

Fichier:

PDF, 106 KB

english, 1996

31

THE USE OF PETRI NETS FOR THE DESIGN AND VERIFICATION OF ASYNCHRONOUS CIRCUITS AND SYSTEMS

KONDRATYEV, ALEX, KISHINEVSKY, MICHAEL, TAUBIN, ALEXANDER, CORTADELLA, JORDI, LAVAGNO, LUCIANO

Journal:

Journal of Circuits System and Computers

Année:

1998

Langue:

english

Fichier:

PDF, 4.84 MB

english, 1998

32

[IEEE 2014 27th IEEE International System-on-Chip Conference (SOCC) - Las Vegas, NV, USA (2014.9.2-2014.9.5)] 2014 27th IEEE International System-on-Chip Conference (SOCC) - Towards platform level power management in mobile systems

Kadjo, David, Ogras, Umit, Ayoub, Raid, Kishinevsky, Michael, Gratz, Paul

Année:

2014

Langue:

english

Fichier:

PDF, 1.60 MB

english, 2014

33

[IEEE 2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES) - Amsterdam, Netherlands (2015.10.4-2015.10.9)] 2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES) - Optimizing mobile display brightness by leveraging human visual perception

Schuchhardt, Matthew, Jha, Susmit, Ayoub, Raid, Kishinevsky, Michael, Memik, Gokhan

Année:

2015

Langue:

english

Fichier:

PDF, 1.61 MB

english, 2015

34

[ACM Press the 35th International Conference - Austin, Texas (2016.11.07-2016.11.10)] Proceedings of the 35th International Conference on Computer-Aided Design - ICCAD '16 - Adaptive performance prediction for integrated GPUs

Gupta, Ujjwal, Campbell, Joseph, Ogras, Umit Y., Ayoub, Raid, Kishinevsky, Michael, Paterna, Francesco, Gumussoy, Suat

Année:

2016

Langue:

english

Fichier:

PDF, 862 KB

english, 2016

35

Dynamic Power Budgeting for Mobile Systems Running Graphics Workloads

Gupta, Ujjwal, Ayoub, Raid, Kishinevsky, Michael, Kadjo, David, Soundararajan, Niranjan, Tursun, Ugurkan, Ogras, Umit

Journal:

IEEE Transactions on Multi-Scale Computing Systems

Année:

2017

Langue:

english

Fichier:

PDF, 2.16 MB

english, 2017

36

[ACM Press the 54th Annual Design Automation Conference 2017 - Austin, TX, USA (2017.06.18-2017.06.22)] Proceedings of the 54th Annual Design Automation Conference 2017 on - DAC '17 - HALWPE

O'Neal, Kenneth, Brisk, Philip, Shriver, Emily, Kishinevsky, Michael

Année:

2017

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2017

37

Major Changes in Medical Careers Following Medical School Graduation: When, How Often, and Why

JENNETT, PENNY A., KISHINEVSKY, MICHAEL, BRYANT, HEATHER, HUNTER, KAY L.

Journal:

Journal of the Association of American Medical Colleges

Année:

1990

Fichier:

PDF, 513 KB

1990

38

[ACM Press the 54th Annual Design Automation Conference 2017 - Austin, TX, USA (2017.06.18-2017.06.22)] Proceedings of the 54th Annual Design Automation Conference 2017 on - DAC '17 - Multi-variable Dynamic Power Management for the GPU Subsystem

Mercati, Pietro, Ayoub, Raid, Kishinevsky, Michael, Samson, Eric, Beuchat, Marc, Paterna, Francesco, Rosing, Tajana Šimunić

Année:

2017

Langue:

english

Fichier:

PDF, 179 KB

english, 2017

39

User-aware Frame Rate Management in Android Smartphones

Egilmez, Begum, Schuchhardt, Matthew, Memik, Gokhan, Ayoub, Raid, Soundararajan, Niranjan, Kishinevsky, Michael

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2017

Langue:

english

Fichier:

PDF, 932 KB

english, 2017

40

An Online Learning Methodology for Performance Modeling of Graphics Processors

Gupta, Ujjwal, Babu, Manoj, Ayoub, Raid, Kishinevsky, Michael, Paterna, Francesco, Gumussoy, Suat, Ogras, Umit Y.

Journal:

IEEE Transactions on Computers

Année:

2018

Langue:

english

Fichier:

PDF, 832 KB

english, 2018

41

Hardware-Assisted Cross-Generation Prediction of GPUs Under Design

OrNeal, Kenneth, Brisk, Philip, Shriver, Emily, Kishinevsky, Michael

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Année:

2018

Langue:

english

Fichier:

PDF, 3.49 MB

english, 2018

42

[ACM Press the 55th Annual Design Automation Conference - San Francisco, California (2018.06.24-2018.06.29)] Proceedings of the 55th Annual Design Automation Conference on - DAC '18 - STAFF

Gupta, Ujjwal, Babu, Manoj, Ayoub, Raid, Kishinevsky, Michael, Paterna, Francesco, Ogras, Umit Y.

Année:

2018

Langue:

english

Fichier:

PDF, 1.62 MB

english, 2018

43

[ACM Press the 1st Workshop - Portland, OR, USA (2017.09.09-2017.09.13)] Proceedings of the 1st Workshop on AutotuniNg and aDaptivity AppRoaches for Energy efficient HPC Systems - ANDARE '17 - Adaptive Performance Sensitivity Model to Support GPU Power Management

Paterna, Francesco, Gupta, Ujjwal, Ayoub, Raid, Ogras, Umit Y., Kishinevsky, Michael

Année:

2017

Langue:

english

Fichier:

PDF, 796 KB

english, 2017

44

Analytical Performance Models for NoCs with Multiple Priority Traffic Classes

Mandal, Sumit K., Ayoub, Raid, Kishinevsky, Michael, Ogras, Umit Y.

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2019

Langue:

english

Fichier:

PDF, 4.47 MB

english, 2019

45

A Survey on Energy Management for Mobile and IoT Devices

Pasricha, Sudeep, Ayoub, Raid, Kishinevsky, Michael, Mandal, Sumit K., Ogras, Umit Y.

Journal:

IEEE Design and Test

Année:

2020

Langue:

english

Fichier:

PDF, 2.75 MB

english, 2020

46

[IEEE 2019 IEEE/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft) - Montreal, QC, Canada (2019.5.25-2019.5.25)] 2019 IEEE/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft) - PerfProbe: A Systematic, Cross-Layer Performance Diagnosis Framework for Mobile Platforms

Hong, David Ke, Nikravesh, Ashkan, Mao, Z. Morley, Ketkar, Mahesh, Kishinevsky, Michael

Année:

2019

Langue:

english

Fichier:

PDF, 382 KB

english, 2019

47

Analytical Performance Modeling of NoCs under Priority Arbitration and Bursty Traffic

Mandal, Sumit K., Ayoub, Raid, Kishinevsky, Michael, Islam, Mohammad M., Ogras, Umit Y.

Journal:

IEEE Embedded Systems Letters

Année:

2020

Fichier:

PDF, 476 KB

2020

48

Guest Editorsâ Introduction: Design and Management of Mobile Platforms: From Smartphones to Wearable Devices

Ogras, Umit Y., Pasricha, Sudeep, Kishinevsky, Michael, Kishinevsky, Michael

Journal:

IEEE Design and Test

Année:

2020

Fichier:

PDF, 56 KB

2020

49

[IEEE 2020 57th ACM/IEEE Design Automation Conference (DAC) - San Francisco, CA, USA (2020.7.20-2020.7.24)] 2020 57th ACM/IEEE Design Automation Conference (DAC) - Online Adaptive Learning for Runtime Resource Management of Heterogeneous SoCs

Mandal, Sumit K., Ogras, Umit Y., Rao Doppa, Janardhan, Ayoub, Raid Z., Kishinevsky, Michael, Pande, Partha P.

Année:

2020

Fichier:

PDF, 1.00 MB

2020